A Our Methodology Applied to Additional Theories

We introduce additional theories in Section A.1, and show in Section A.2 how their empirical content can be captured by generalized SARP conditions, that is, the existence of an acyclic relation that satisfies a set of restrictions inferred from choices. Such results thus mirror those presented in Section 3 of the paper for Limited Attention and Categorization/Rationalization. In Section A.3, we show that, for all these additional theories, restrictions are elementary, and that making a valid guess in each step of the enumeration is easy. As a consequence of our results in the paper, all these theories can thus be tested through enumeration in a way that is roughly as easy as rationality.